#include <stdio.h>
#include <stdlib.h>
int main(){
   printf( " Print %07d\n", 300 );
   return 0;
}
